<?php
    session_start();
    //echo $_SESSION["userid"];
    if(!isset($_SESSION["userid"]))
    {
        $loginurl = "login.php";
        Header("HTTP/1.1 303 See Other");
        Header("Location: $loginurl");
    }
    
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
        <title>Reader</title>
        <script type="text/javascript" src="js/getrss.js"></script>
    </head>
    <body>
        <div id="user_info">
            <p><?php echo "欢迎：".$_SESSION["username"]; ?></p>
        </div>
    </body>
</html>
